Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
271	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:47 Automated theorem proving Concolic testing Logic in computer science Java Pathfinder Symbolic execution Interprocedural optimization Control flow KeY Software bug Software engineering Formal methods Computing
272	Introduction Combining Theories Packaging Theories Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 06:12:40 Automated theorem proving Philosophy of science Scientific method Concepts Logic in computer science Proof assistant Isabelle HOL Theory Science Logic Mathematics
273	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Burel1 , David Delahaye2 , Damien Doligez3 , Pierre Halmagrand2 , and Olivier Hermant4 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 10:39:09 Logic in computer science Proof theory Automated theorem proving Model theory Unification First-order logic Mathematical proof Combinatory logic Rewriting Logic Mathematics Mathematical logic
274	PDF Document Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2003-07-07 13:20:50 Lisp programming language Functional languages Automated theorem proving ACL2 XML Literate programming DocBook Nqthm Proof assistant Computing Markup languages Technical communication
275	The OpenTheory Standard Theory Library Joe Hurd1 Galois, Inc. http://www.gilith.com Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:30:03 Automated theorem proving Logic in computer science Model theory Proof theory Formal methods Proof assistant HOL Theorem Mathematical proof Logic Mathematics Mathematical logic
276	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: www.ki.inf.tu-dresden.de Language: English - Date: 2005-09-20 10:33:36 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
277	AI4FM Rippling Experiment Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Rippling Mathematical logic IsaPlanner Mathematical proof Knowledge Logic Automated theorem proving Mathematics Heuristics
278	CS109B Notes for LectureWhy Resolution? Given how ugly search for proofs seems to be, and given that in general it takes exponential time to nd a proof of a true statement of length n, it is Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:14 Rules of inference Propositional calculus Automated theorem proving Resolution Literal Deduction theorem SLD resolution Logic Mathematical logic Mathematics
279	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh ATX 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematics Knowledge Mathematical proof Formal methods Science Automated theorem proving Heuristics Rippling
280	Resolution versus Search: Two Strategies for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-01 13:42:40 Mathematics Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Conjunctive normal form Unit propagation Resolution Theoretical computer science Constraint programming Applied mathematics

UPDATE